Allender, E. (1996), “Proceedings 2nd International Computing and Combinatorics Conference (COCOON)”, Springer Lecture Notes in Computer Science, 1090: 127–135 |contribution= bị bỏ qua (trợ giúp)
Vollmer, Heribert (1999), Introduction to Circuit Complexity, Berlin: Springer, ISBN3-540-64310-9
Burtschick, Hans-Jörg; Vollmer, Heribert (1999), Lindström Quantifiers and Leaf Language Definability, Bản mẫu:ECCC